11![NXP PowerPoint template Guidelines for presentations NXP PowerPoint template Guidelines for presentations](https://www.pdfsearch.io/img/0ff900f9f6e8c326ddfefc9caefd6853.jpg) | Add to Reading ListSource URL: www.yourcreativesolutions.nlLanguage: English - Date: 2011-09-09 16:28:00
|
---|
12![](https://www.pdfsearch.io/img/8905eeb68ba631dd5a906809f5b6b222.jpg) | Add to Reading ListSource URL: www.hieratic.euLanguage: English |
---|
13![Earthquake: An Open-Source Framework of Implementation-Level Distributed System Model Checkers Akihiro Suda, Hitoshi Mitake, and Tomonori Fujita (NTT Software Innovation Center) http://osrg.github.io/earthquake/ Earthquake: An Open-Source Framework of Implementation-Level Distributed System Model Checkers Akihiro Suda, Hitoshi Mitake, and Tomonori Fujita (NTT Software Innovation Center) http://osrg.github.io/earthquake/](https://www.pdfsearch.io/img/1a849ab6d624c3cd7f65c9b63a20c738.jpg) | Add to Reading ListSource URL: acmsocc.github.ioLanguage: English - Date: 2016-02-21 03:10:50
|
---|
14![Control Explicit—Data Symbolic Model Checking Petr Bauch POPL Student Session 23 January 2013 Control Explicit—Data Symbolic Model Checking Petr Bauch POPL Student Session 23 January 2013](https://www.pdfsearch.io/img/a71b615d0d4d5ef499de97fcab7266d3.jpg) | Add to Reading ListSource URL: anna.fi.muni.czLanguage: English - Date: 2013-01-17 12:35:21
|
---|
15![Wednesday, April 20, 2011 Registration: 8:00-9:00 • Registration opens Wednesday, April 20, 2011 Registration: 8:00-9:00 • Registration opens](https://www.pdfsearch.io/img/0fdce7dd966bd2cf203e15fded5393c4.jpg) | Add to Reading ListSource URL: fsen.irLanguage: English - Date: 2011-03-09 05:00:02
|
---|
16![On the Use of Planning Technology for Verification Aws Albarghouthi Jorge A. Baier Sheila A. McIlraith On the Use of Planning Technology for Verification Aws Albarghouthi Jorge A. Baier Sheila A. McIlraith](https://www.pdfsearch.io/img/c16d24166de1460af47ca6df85a6749b.jpg) | Add to Reading ListSource URL: www-vvps09.imag.frLanguage: English - Date: 2009-08-25 03:10:48
|
---|
17![Efficiently Solving Bit-Vector Problems Using Model Checkers Andreas Fr¨ ohlich, Gergely Kov´asznai, Armin Biere Institute for Formal Models and Verification Johannes Kepler University, Linz, Austria Efficiently Solving Bit-Vector Problems Using Model Checkers Andreas Fr¨ ohlich, Gergely Kov´asznai, Armin Biere Institute for Formal Models and Verification Johannes Kepler University, Linz, Austria](https://www.pdfsearch.io/img/676647d0abc14b439e28b097d3f26b23.jpg) | Add to Reading ListSource URL: smt2013.fbk.euLanguage: English - Date: 2013-07-15 07:39:36
|
---|
18![](https://www.pdfsearch.io/img/028f991cdc0b062a5e7fb1d06098a22a.jpg) | Add to Reading ListSource URL: www.havelund.comLanguage: English - Date: 2014-07-17 11:43:19
|
---|
19![Language Engineering as an Enabler for Incrementally Defined Formal Analyses Daniel Ratiu∗ , Markus Voelter† , Bernhard Schaetz∗ , Bernd Kolb‡ ∗ ForTISS, Munich, Germany, {ratiu | schaetz}@fortiss.org † indep Language Engineering as an Enabler for Incrementally Defined Formal Analyses Daniel Ratiu∗ , Markus Voelter† , Bernhard Schaetz∗ , Bernd Kolb‡ ∗ ForTISS, Munich, Germany, {ratiu | schaetz}@fortiss.org † indep](https://www.pdfsearch.io/img/31f8cdfee4fc6d168e87746a41bee070.jpg) | Add to Reading ListSource URL: mbeddr.comLanguage: English |
---|
20![A Safety-critical Medical Device Development using the UPP2SF Model Translation Tool MIROSLAV PAJIC, University of Pennsylvania ZHIHAO JIANG, University of Pennsylvania INSUP LEE, University of Pennsylvania A Safety-critical Medical Device Development using the UPP2SF Model Translation Tool MIROSLAV PAJIC, University of Pennsylvania ZHIHAO JIANG, University of Pennsylvania INSUP LEE, University of Pennsylvania](https://www.pdfsearch.io/img/c503da0f2ce4db7597fd7d2a1d054a33.jpg) | Add to Reading ListSource URL: www.seas.upenn.eduLanguage: English - Date: 2013-12-14 22:31:51
|
---|